integer in shell scripting